invariant assertion

不变断言

热门查询